Optimal. Leaf size=884 \[ \frac{p q r^2 \log ^2(a+b x) d^4}{4 b (b c-a d)^4}-\frac{q^2 r^2 \log ^2(c+d x) d^4}{4 b (b c-a d)^4}+\frac{11 q^2 r^2 \log (a+b x) d^4}{12 b (b c-a d)^4}-\frac{p q r^2 \log (a+b x) d^4}{8 b (b c-a d)^4}-\frac{11 q^2 r^2 \log (c+d x) d^4}{12 b (b c-a d)^4}+\frac{p q r^2 \log (c+d x) d^4}{8 b (b c-a d)^4}-\frac{p q r^2 \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x) d^4}{2 b (b c-a d)^4}+\frac{q^2 r^2 \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right ) d^4}{2 b (b c-a d)^4}-\frac{q r \log (a+b x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right ) d^4}{2 b (b c-a d)^4}+\frac{q r \log (c+d x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right ) d^4}{2 b (b c-a d)^4}+\frac{q^2 r^2 \text{PolyLog}\left (2,-\frac{d (a+b x)}{b c-a d}\right ) d^4}{2 b (b c-a d)^4}-\frac{p q r^2 \text{PolyLog}\left (2,\frac{b (c+d x)}{b c-a d}\right ) d^4}{2 b (b c-a d)^4}-\frac{q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right ) d^3}{2 b (b c-a d)^3 (a+b x)}+\frac{5 q^2 r^2 d^3}{12 b (b c-a d)^3 (a+b x)}-\frac{5 p q r^2 d^3}{8 b (b c-a d)^3 (a+b x)}+\frac{q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right ) d^2}{4 b (b c-a d)^2 (a+b x)^2}-\frac{q^2 r^2 d^2}{12 b (b c-a d)^2 (a+b x)^2}+\frac{3 p q r^2 d^2}{16 b (b c-a d)^2 (a+b x)^2}-\frac{q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right ) d}{6 b (b c-a d) (a+b x)^3}-\frac{7 p q r^2 d}{72 b (b c-a d) (a+b x)^3}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (a+b x)^4}-\frac{p r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{8 b (a+b x)^4}-\frac{p^2 r^2}{32 b (a+b x)^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.737891, antiderivative size = 884, normalized size of antiderivative = 1., number of steps used = 32, number of rules used = 13, integrand size = 31, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.419, Rules used = {2498, 2495, 32, 44, 2514, 36, 31, 2494, 2390, 2301, 2394, 2393, 2391} \[ \frac{p q r^2 \log ^2(a+b x) d^4}{4 b (b c-a d)^4}-\frac{q^2 r^2 \log ^2(c+d x) d^4}{4 b (b c-a d)^4}+\frac{11 q^2 r^2 \log (a+b x) d^4}{12 b (b c-a d)^4}-\frac{p q r^2 \log (a+b x) d^4}{8 b (b c-a d)^4}-\frac{11 q^2 r^2 \log (c+d x) d^4}{12 b (b c-a d)^4}+\frac{p q r^2 \log (c+d x) d^4}{8 b (b c-a d)^4}-\frac{p q r^2 \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x) d^4}{2 b (b c-a d)^4}+\frac{q^2 r^2 \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right ) d^4}{2 b (b c-a d)^4}-\frac{q r \log (a+b x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right ) d^4}{2 b (b c-a d)^4}+\frac{q r \log (c+d x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right ) d^4}{2 b (b c-a d)^4}+\frac{q^2 r^2 \text{PolyLog}\left (2,-\frac{d (a+b x)}{b c-a d}\right ) d^4}{2 b (b c-a d)^4}-\frac{p q r^2 \text{PolyLog}\left (2,\frac{b (c+d x)}{b c-a d}\right ) d^4}{2 b (b c-a d)^4}-\frac{q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right ) d^3}{2 b (b c-a d)^3 (a+b x)}+\frac{5 q^2 r^2 d^3}{12 b (b c-a d)^3 (a+b x)}-\frac{5 p q r^2 d^3}{8 b (b c-a d)^3 (a+b x)}+\frac{q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right ) d^2}{4 b (b c-a d)^2 (a+b x)^2}-\frac{q^2 r^2 d^2}{12 b (b c-a d)^2 (a+b x)^2}+\frac{3 p q r^2 d^2}{16 b (b c-a d)^2 (a+b x)^2}-\frac{q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right ) d}{6 b (b c-a d) (a+b x)^3}-\frac{7 p q r^2 d}{72 b (b c-a d) (a+b x)^3}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (a+b x)^4}-\frac{p r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{8 b (a+b x)^4}-\frac{p^2 r^2}{32 b (a+b x)^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2498
Rule 2495
Rule 32
Rule 44
Rule 2514
Rule 36
Rule 31
Rule 2494
Rule 2390
Rule 2301
Rule 2394
Rule 2393
Rule 2391
Rubi steps
\begin{align*} \int \frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(a+b x)^5} \, dx &=-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (a+b x)^4}+\frac{1}{2} (p r) \int \frac{\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(a+b x)^5} \, dx+\frac{(d q r) \int \frac{\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(a+b x)^4 (c+d x)} \, dx}{2 b}\\ &=-\frac{p r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{8 b (a+b x)^4}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (a+b x)^4}+\frac{(d q r) \int \left (\frac{b \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(b c-a d) (a+b x)^4}-\frac{b d \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(b c-a d)^2 (a+b x)^3}+\frac{b d^2 \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(b c-a d)^3 (a+b x)^2}-\frac{b d^3 \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(b c-a d)^4 (a+b x)}+\frac{d^4 \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(b c-a d)^4 (c+d x)}\right ) \, dx}{2 b}+\frac{1}{8} \left (p^2 r^2\right ) \int \frac{1}{(a+b x)^5} \, dx+\frac{\left (d p q r^2\right ) \int \frac{1}{(a+b x)^4 (c+d x)} \, dx}{8 b}\\ &=-\frac{p^2 r^2}{32 b (a+b x)^4}-\frac{p r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{8 b (a+b x)^4}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (a+b x)^4}-\frac{\left (d^4 q r\right ) \int \frac{\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{a+b x} \, dx}{2 (b c-a d)^4}+\frac{\left (d^5 q r\right ) \int \frac{\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{c+d x} \, dx}{2 b (b c-a d)^4}+\frac{\left (d^3 q r\right ) \int \frac{\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(a+b x)^2} \, dx}{2 (b c-a d)^3}-\frac{\left (d^2 q r\right ) \int \frac{\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(a+b x)^3} \, dx}{2 (b c-a d)^2}+\frac{(d q r) \int \frac{\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(a+b x)^4} \, dx}{2 (b c-a d)}+\frac{\left (d p q r^2\right ) \int \left (\frac{b}{(b c-a d) (a+b x)^4}-\frac{b d}{(b c-a d)^2 (a+b x)^3}+\frac{b d^2}{(b c-a d)^3 (a+b x)^2}-\frac{b d^3}{(b c-a d)^4 (a+b x)}+\frac{d^4}{(b c-a d)^4 (c+d x)}\right ) \, dx}{8 b}\\ &=-\frac{p^2 r^2}{32 b (a+b x)^4}-\frac{d p q r^2}{24 b (b c-a d) (a+b x)^3}+\frac{d^2 p q r^2}{16 b (b c-a d)^2 (a+b x)^2}-\frac{d^3 p q r^2}{8 b (b c-a d)^3 (a+b x)}-\frac{d^4 p q r^2 \log (a+b x)}{8 b (b c-a d)^4}+\frac{d^4 p q r^2 \log (c+d x)}{8 b (b c-a d)^4}-\frac{p r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{8 b (a+b x)^4}-\frac{d q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{6 b (b c-a d) (a+b x)^3}+\frac{d^2 q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (b c-a d)^2 (a+b x)^2}-\frac{d^3 q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{2 b (b c-a d)^3 (a+b x)}-\frac{d^4 q r \log (a+b x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{2 b (b c-a d)^4}+\frac{d^4 q r \log (c+d x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{2 b (b c-a d)^4}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (a+b x)^4}+\frac{\left (d^4 p q r^2\right ) \int \frac{\log (a+b x)}{a+b x} \, dx}{2 (b c-a d)^4}-\frac{\left (d^4 p q r^2\right ) \int \frac{\log (c+d x)}{a+b x} \, dx}{2 (b c-a d)^4}+\frac{\left (d^3 p q r^2\right ) \int \frac{1}{(a+b x)^2} \, dx}{2 (b c-a d)^3}-\frac{\left (d^2 p q r^2\right ) \int \frac{1}{(a+b x)^3} \, dx}{4 (b c-a d)^2}+\frac{\left (d p q r^2\right ) \int \frac{1}{(a+b x)^4} \, dx}{6 (b c-a d)}+\frac{\left (d^5 q^2 r^2\right ) \int \frac{\log (a+b x)}{c+d x} \, dx}{2 b (b c-a d)^4}-\frac{\left (d^5 q^2 r^2\right ) \int \frac{\log (c+d x)}{c+d x} \, dx}{2 b (b c-a d)^4}+\frac{\left (d^4 q^2 r^2\right ) \int \frac{1}{(a+b x) (c+d x)} \, dx}{2 b (b c-a d)^3}-\frac{\left (d^3 q^2 r^2\right ) \int \frac{1}{(a+b x)^2 (c+d x)} \, dx}{4 b (b c-a d)^2}+\frac{\left (d^2 q^2 r^2\right ) \int \frac{1}{(a+b x)^3 (c+d x)} \, dx}{6 b (b c-a d)}\\ &=-\frac{p^2 r^2}{32 b (a+b x)^4}-\frac{7 d p q r^2}{72 b (b c-a d) (a+b x)^3}+\frac{3 d^2 p q r^2}{16 b (b c-a d)^2 (a+b x)^2}-\frac{5 d^3 p q r^2}{8 b (b c-a d)^3 (a+b x)}-\frac{d^4 p q r^2 \log (a+b x)}{8 b (b c-a d)^4}+\frac{d^4 p q r^2 \log (c+d x)}{8 b (b c-a d)^4}-\frac{d^4 p q r^2 \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x)}{2 b (b c-a d)^4}+\frac{d^4 q^2 r^2 \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{2 b (b c-a d)^4}-\frac{p r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{8 b (a+b x)^4}-\frac{d q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{6 b (b c-a d) (a+b x)^3}+\frac{d^2 q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (b c-a d)^2 (a+b x)^2}-\frac{d^3 q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{2 b (b c-a d)^3 (a+b x)}-\frac{d^4 q r \log (a+b x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{2 b (b c-a d)^4}+\frac{d^4 q r \log (c+d x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{2 b (b c-a d)^4}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (a+b x)^4}+\frac{\left (d^4 p q r^2\right ) \operatorname{Subst}\left (\int \frac{\log (x)}{x} \, dx,x,a+b x\right )}{2 b (b c-a d)^4}+\frac{\left (d^5 p q r^2\right ) \int \frac{\log \left (\frac{d (a+b x)}{-b c+a d}\right )}{c+d x} \, dx}{2 b (b c-a d)^4}+\frac{\left (d^4 q^2 r^2\right ) \int \frac{1}{a+b x} \, dx}{2 (b c-a d)^4}-\frac{\left (d^4 q^2 r^2\right ) \int \frac{\log \left (\frac{b (c+d x)}{b c-a d}\right )}{a+b x} \, dx}{2 (b c-a d)^4}-\frac{\left (d^4 q^2 r^2\right ) \operatorname{Subst}\left (\int \frac{\log (x)}{x} \, dx,x,c+d x\right )}{2 b (b c-a d)^4}-\frac{\left (d^5 q^2 r^2\right ) \int \frac{1}{c+d x} \, dx}{2 b (b c-a d)^4}-\frac{\left (d^3 q^2 r^2\right ) \int \left (\frac{b}{(b c-a d) (a+b x)^2}-\frac{b d}{(b c-a d)^2 (a+b x)}+\frac{d^2}{(b c-a d)^2 (c+d x)}\right ) \, dx}{4 b (b c-a d)^2}+\frac{\left (d^2 q^2 r^2\right ) \int \left (\frac{b}{(b c-a d) (a+b x)^3}-\frac{b d}{(b c-a d)^2 (a+b x)^2}+\frac{b d^2}{(b c-a d)^3 (a+b x)}-\frac{d^3}{(b c-a d)^3 (c+d x)}\right ) \, dx}{6 b (b c-a d)}\\ &=-\frac{p^2 r^2}{32 b (a+b x)^4}-\frac{7 d p q r^2}{72 b (b c-a d) (a+b x)^3}+\frac{3 d^2 p q r^2}{16 b (b c-a d)^2 (a+b x)^2}-\frac{d^2 q^2 r^2}{12 b (b c-a d)^2 (a+b x)^2}-\frac{5 d^3 p q r^2}{8 b (b c-a d)^3 (a+b x)}+\frac{5 d^3 q^2 r^2}{12 b (b c-a d)^3 (a+b x)}-\frac{d^4 p q r^2 \log (a+b x)}{8 b (b c-a d)^4}+\frac{11 d^4 q^2 r^2 \log (a+b x)}{12 b (b c-a d)^4}+\frac{d^4 p q r^2 \log ^2(a+b x)}{4 b (b c-a d)^4}+\frac{d^4 p q r^2 \log (c+d x)}{8 b (b c-a d)^4}-\frac{11 d^4 q^2 r^2 \log (c+d x)}{12 b (b c-a d)^4}-\frac{d^4 p q r^2 \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x)}{2 b (b c-a d)^4}-\frac{d^4 q^2 r^2 \log ^2(c+d x)}{4 b (b c-a d)^4}+\frac{d^4 q^2 r^2 \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{2 b (b c-a d)^4}-\frac{p r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{8 b (a+b x)^4}-\frac{d q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{6 b (b c-a d) (a+b x)^3}+\frac{d^2 q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (b c-a d)^2 (a+b x)^2}-\frac{d^3 q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{2 b (b c-a d)^3 (a+b x)}-\frac{d^4 q r \log (a+b x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{2 b (b c-a d)^4}+\frac{d^4 q r \log (c+d x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{2 b (b c-a d)^4}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (a+b x)^4}+\frac{\left (d^4 p q r^2\right ) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{b x}{-b c+a d}\right )}{x} \, dx,x,c+d x\right )}{2 b (b c-a d)^4}-\frac{\left (d^4 q^2 r^2\right ) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{d x}{b c-a d}\right )}{x} \, dx,x,a+b x\right )}{2 b (b c-a d)^4}\\ &=-\frac{p^2 r^2}{32 b (a+b x)^4}-\frac{7 d p q r^2}{72 b (b c-a d) (a+b x)^3}+\frac{3 d^2 p q r^2}{16 b (b c-a d)^2 (a+b x)^2}-\frac{d^2 q^2 r^2}{12 b (b c-a d)^2 (a+b x)^2}-\frac{5 d^3 p q r^2}{8 b (b c-a d)^3 (a+b x)}+\frac{5 d^3 q^2 r^2}{12 b (b c-a d)^3 (a+b x)}-\frac{d^4 p q r^2 \log (a+b x)}{8 b (b c-a d)^4}+\frac{11 d^4 q^2 r^2 \log (a+b x)}{12 b (b c-a d)^4}+\frac{d^4 p q r^2 \log ^2(a+b x)}{4 b (b c-a d)^4}+\frac{d^4 p q r^2 \log (c+d x)}{8 b (b c-a d)^4}-\frac{11 d^4 q^2 r^2 \log (c+d x)}{12 b (b c-a d)^4}-\frac{d^4 p q r^2 \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x)}{2 b (b c-a d)^4}-\frac{d^4 q^2 r^2 \log ^2(c+d x)}{4 b (b c-a d)^4}+\frac{d^4 q^2 r^2 \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{2 b (b c-a d)^4}-\frac{p r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{8 b (a+b x)^4}-\frac{d q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{6 b (b c-a d) (a+b x)^3}+\frac{d^2 q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (b c-a d)^2 (a+b x)^2}-\frac{d^3 q r \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{2 b (b c-a d)^3 (a+b x)}-\frac{d^4 q r \log (a+b x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{2 b (b c-a d)^4}+\frac{d^4 q r \log (c+d x) \log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{2 b (b c-a d)^4}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{4 b (a+b x)^4}+\frac{d^4 q^2 r^2 \text{Li}_2\left (-\frac{d (a+b x)}{b c-a d}\right )}{2 b (b c-a d)^4}-\frac{d^4 p q r^2 \text{Li}_2\left (\frac{b (c+d x)}{b c-a d}\right )}{2 b (b c-a d)^4}\\ \end{align*}
Mathematica [B] time = 7.02508, size = 14573, normalized size = 16.49 \[ \text{Result too large to show} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.418, size = 0, normalized size = 0. \begin{align*} \int{\frac{ \left ( \ln \left ( e \left ( f \left ( bx+a \right ) ^{p} \left ( dx+c \right ) ^{q} \right ) ^{r} \right ) \right ) ^{2}}{ \left ( bx+a \right ) ^{5}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 2.1752, size = 2452, normalized size = 2.77 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\log \left (\left ({\left (b x + a\right )}^{p}{\left (d x + c\right )}^{q} f\right )^{r} e\right )^{2}}{b^{5} x^{5} + 5 \, a b^{4} x^{4} + 10 \, a^{2} b^{3} x^{3} + 10 \, a^{3} b^{2} x^{2} + 5 \, a^{4} b x + a^{5}}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\log \left (\left ({\left (b x + a\right )}^{p}{\left (d x + c\right )}^{q} f\right )^{r} e\right )^{2}}{{\left (b x + a\right )}^{5}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]